home *** CD-ROM | disk | FTP | other *** search
- package netscape.debug;
-
- public class JavaSourceLocation extends SourceLocation {
- String filename;
- private int lineno;
- // $FF: renamed from: pc netscape.debug.PC
- private PC field_0;
-
- public JavaSourceLocation(String var1, String var2, int var3, PC var4) {
- StringBuffer var5 = new StringBuffer();
- int var6 = 0;
- int var7 = 0;
-
- while(true) {
- var7 = var1.indexOf(47, var6);
- if (var7 < 0) {
- var5.append(var2);
- this.filename = var5.toString();
- this.lineno = var3;
- this.field_0 = this.field_0;
- return;
- }
-
- var5.append(var1.substring(var6, var7));
- var5.append("/");
- var6 = var7 + 1;
- }
- }
-
- public String getFile() {
- return this.filename;
- }
-
- public int getLine() {
- return this.lineno;
- }
-
- public synchronized PC getPC() {
- return this.field_0;
- }
- }
-